Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
381	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
382	THE MORPHOSYNTAX OF NEGATION IN COLONIAL VALLEY ZAPOTEC* Carolyn Jane Anderson McGill University [removed] Brook Danielle Lillehaugen Add to Reading List Source URL: ssila.org Language: English - Date: 2015-02-18 03:43:44 Negation Logic Linguistics Mathematical logic Zapotec languages Boolean algebra Negative
383	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:58 Model checking Mathematics Theoretical computer science Boolean algebra Diagrams Binary decision diagram
384	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:12 Boolean algebra Diagrams Binary decision diagram Model checking Monica S. Lam Datalog Pointer analysis Algorithm Pointer Computing Mathematics Software engineering
385	TICS-1168; No. of Pages 6 Review The acquisition of Boolean concepts Geoffrey P. Goodwin1 and Philip N. Johnson-Laird2,3 Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-02-21 16:45:04 Cognitive science Cognitive psychology Information science Mental model Scientific modeling Thought Concept learning Analogy Boolean algebra Ethology Mind Philosophy of mind
386	Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements Rani Qumsiyeh Maria S. Pera Add to Reading List Source URL: vldb.org Language: English - Date: 2011-11-23 01:03:10 Data management Computational linguistics Natural language processing Artificial intelligence applications Question answering Database normalization Boolean algebra Vector space model SQL Information science Information retrieval Science
387	Boolean operations on feature-based models Yvon Gardan Christian Minich Estelle Perrin Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2003-01-06 09:18:10 Algebraic logic Boolean algebra Solid modeling Constructive solid geometry Feature Symmetry Mathematics Boolean algebras canonically defined 3D computer graphics Computer-aided design Geometry
388	E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-09-14 13:48:35 Mathematics Applied mathematics Operations research Boolean algebra WalkSAT Boolean satisfiability problem Local search Mathematical optimization Satisfiability Theoretical computer science Constraint programming Logic in computer science
389	Analyzing Sentiment while Accounting for Negation Scope and Strength Alexander Hogenboom Paul van Iterson Bas Heerschop Flavius Frasincar Add to Reading List Source URL: allserv.kahosl.be Language: English - Date: 2011-10-03 02:58:16 Science Mathematics Boolean algebra Rhetoric Natural language processing Negation Sentiment analysis Yes and no Existence Grammar Linguistics Semantics
390	A Binary Dance Workshop Andrea Hawksley Communications Design Group SAP Labs, San Francisco, CA, USA [removed] Add to Reading List Source URL: andreahawksley.com Language: English - Date: 2014-05-21 21:28:51 Abstract algebra Boolean algebra Computer arithmetic Binary numeral system Elementary arithmetic Bitwise operation Exclusive or Adder XOR gate Binary arithmetic Arithmetic Mathematics

UPDATE